Partial evaluation - PDFSEARCH.IO - Document Search Engine

Partial evaluation
Results: 234

#	Item
91	Terminator II: Stopping Partial Evaluation of Fully Recursive Programs Master’s Thesis Arne John Glenstrup June 13, 1999 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:48 Partial evaluation Algorithm Computing Mathematics Software engineering Static program analysis Termination analysis
92	Generating a Pattern Matching Compiler by Partial Evaluation Jesper Jørgensen ∗ DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:04 Logic in computer science Models of computation Lambda calculus Functional programming Programming language semantics Denotational semantics Fixed-point combinator Compiler-compiler Compiler Software engineering Computing Theoretical computer science
93	Partial Evaluation in Prolog: Some Improvements about Cuts and Control M. Bugliesi F. Russo Add to Reading List Source URL: www.dsi.unive.it Language: English - Date: 2005-06-07 07:17:54 Logic Functions and mappings Automated theorem proving Resolution Prolog Function Constraint logic programming Mathematics Mathematical logic Rules of inference
94	Partial Evaluation of Maple ∗ Jacques Carette Department of Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-10-31 15:12:33 Functional languages Procedural programming languages Lambda calculus Cross-platform software Maple Maplesoft Partial evaluation Fixed-point combinator ALGOL 68 Software engineering Computing Computer programming
95	P1: MVG/SFI P2: MVG LISP and Symbolic Computation Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:00 Compiler construction Procedural programming languages Programming language implementation Functional languages Lisp programming language Compiler Partial evaluation Code generation Lisp Programming language theory Software engineering Computing
96	Partial evaluation based on three-address form c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia November 18th , 2011 Abstract Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2011-11-18 07:53:28 Compiler optimizations Functional languages Compiler construction Programming language implementation Constant folding Stack Compiler Static single assignment form ATS Computing Software engineering Computer programming
97	Appeared in PEPM’93 Partial Evaluation of General Parsers – Slightly Revised – October 18, 1993 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:05 Compiler construction Computer programming Canonical LR parser LR parser Functional programming Lookahead Compiler-compiler Memoization Stack Parsing Computing Software engineering
98	Automatic Program Specialization for Interactive Media Scott Draves July 22, 1997 CMU-CS Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:36 Procedural programming languages Evaluation strategy Incremental computing Partial evaluation Kernel Interpreter C Data type Software engineering Computing Software
99	CALCULEMUSPartial Evaluation and Residual Theorems in Computer Algebra Michael Kucera 1 Jacques Carette 2 Computing and Software Add to Reading List Source URL: www.cas.mcmaster.ca Language: English - Date: 2006-09-07 12:33:54 Cross-platform software Maple Maplesoft Partial evaluation ALGOL 68 Obfuscated code Dynamic programming Software engineering Computing Computer programming
100	Efficient Analyses for Realistic Off-Line Partial Evaluation: Extended Version DIKU technical report 93/4, ISSNAnders Bondorf & Jesper Jørgensen DIKU, Department of Computer Science, University of Copenhagen, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Computer programming Data-flow analysis Type system Lambda calculus Closure Constraint logic programming Constraint satisfaction Software engineering Constraint programming Computing

UPDATE